Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
361	Models of Computation Jeff Erickson January 4, 2015 http://www.cs.illinois.edu/~jeffe/teaching/algorithms/ Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2015-01-04 17:28:55 Theoretical computer science Constructible universe Model theory String Μ operator Function Mathematics Formal languages Combinatorics on words
362	Requirements Engineering Conference 2004, Kyoto, Japan Composing Requirements Using Problem Frames Robin Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh Dept. of Computing, The Open University, Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-05-21 13:08:10 Problem frames approach Systems analysis Models of computation Requirement Aspect-oriented software development Communications protocol Finite-state machine Software Requirements Specification Control theory Software development Software requirements Systems engineering
363	Course Paper Implementation of a Turing simulator Jan Engelhardt March 17, 2005 Max-Plank-Gymnasium Göttingen Advances CS Add to Reading List Source URL: inai.de Language: English - Date: 2012-05-07 20:23:24 Theory of computation Computer science Alan Turing Models of computation Busy beaver Turing Universal Turing machine Turing completeness Turing machine Theoretical computer science Computability theory
364	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing
365	A Bridge of Bits Norman Margolus Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MAJuly 1992 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-01-16 13:06:03 Cellular automata Computer science Norman Margolus Cellular automaton Reversible computing Billiard ball computer Programmable matter Computation Tommaso Toffoli Models of computation Theoretical computer science Applied mathematics
366	Proceedings of CEIRE98, Special Issue of Requirements Engineering Volume 3 Number 2, pages 73-78, A Discipline of Description (Keynote Talk) M. A. Jackson Independent Consultant Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2001-04-09 07:21:02 Systems engineering Problem frames approach Computability theory Systems theory Applied mathematics Systems science Software requirements Models of computation Requirement
367	The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:59 Models of computation Mathematics Computer science Combinatorics on words Finite state transducer Tree automaton Finite-state machine Alphabet Regular language Automata theory Formal languages Theoretical computer science
368	. A nondeterministic probabilistic monad with nondeterminism for coalgebraic trace semantics . Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-18 15:59:28 Software engineering Functional programming Monad Theoretical computer science Models of computation Automata theory Theory of computation
369	Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-09-03 08:07:06 Formal languages Computer science Deterministic pushdown automaton Ω-automaton Pushdown automaton Omega language Nondeterministic finite automaton Context-free language Regular language Automata theory Theoretical computer science Models of computation
370	Can Simulation Models Support Social Research? A Critical Discussion. G. Rohwer Version 1 Add to Reading List Source URL: www.stat.ruhr-uni-bochum.de Language: English - Date: 2014-02-26 08:39:03 Cognition Mathematical modeling Models of computation Cellular automaton Agent-based model Scientific modelling Simulation Conceptual model Computer simulation Ethology Science Scientific modeling

UPDATE